This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed formal (...) concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

Este artigo traz uma apresentação operatória formal da derivação do conceito Ser para si apartir do conceito Finito, derivação que está desenvolvida na Doutrina do Ser, da Ciência da Lógica deHegel. Mostra-se que a derivação do conceito intermediário Infinito Verdadeiro requer, além damacrooperação progressão de etapa, com que se dão todas as etapas de derivação do conceito Finito,uma operação adicional, que é identificada como a operação de determinação do menor ponto-fixo demicrorrelações. Já a derivação do conceito Ser para si a (...) partir do conceito Infinito Verdadeiro requersomente a microoperação suprassunção. O método geral de execução do primeiro momento damacrooperação progressão de etapa é detalhado, evidenciando um dos papéis que desempenha, nodesenvolvimento da Lógica de Hegel, a análise lógica das representações do Entendimento. (shrink)

In this paper, we present a formal interpretive account of Jean Piaget’s theory of the morality that regulates social exchanges, which we call interactional morality. First, we place Piaget’s conception in the context of his epistemological and sociological works. Then, we review the core of that conception: the two types of interactional moralities that Piaget identified to be usual in social exchanges, and the role that the notion of respect-for-the-other plays in their definition. Next, we analyze the main features of (...) social exchanges that are subject to each of those two types of interactional moralities. Following, we formalize Piaget’s account of how the two types of interactional moralities can be put to regulate social exchanges in which values, norms, beliefs, and goals are exchanged, so that interactional commitments can be established among the participants. Then, we sketch a moral reasoning system able to support formal reasonings about interactional moralities. Finally, we illustrate the usefulness of the overall formal model of interactional moralities that resulted from our study by applying it to the explication of some of the conclusions achieved by Piaget in his moral studies about children games. (shrink)

Este artigo traz, desde uma perspectiva lógico-hegeliana, uma proposta de articulação operatória das noções de interseccionalidade e lugar de fala, com as quais, muitas vezes, se realizam análises de discursos e de situações sociais. O fundamento da proposta é a sequência de silogismos de ideias que, derivados da Lógica de Hegel, estratificam a noção de mundo em três níveis: mundo do sujeito, mundo do gênero e mundo do espírito. O artigo complementa esse fundamento introduzindo duas operações, particionamento de ideias e (...) superposição de partições de ideias, com as quais é derivado o conceito geral mundo setorial. O artigo mostra, então, como as noções de interseccionalidade e lugar de fala podem ser articuladas operatoriamente pelas três formas particulares e estratificadas desse conceito geral: mundo do sujeito setorial, mundo do gênero setorial e mundo do espírito setorial. (shrink)

The paper introduces the concept of relativistic ontological realism, and the corresponding notion of relativistic realization of objects. The conditions that allow for the relativistic realization of objects are determined. In particular, the paper indicates the way the imposition of organizational structures on already existent objects supports the relativistic realization of new, more complex ones. A type-theoretic presentation of the principles of relativistic ontological realism is given in the language of predicate calculus, making use of the notion of typed world (...) and the condition of effectiveness in the determination of the existence of objects. Two case studies illustrating the way the notion of relativistic ontological realism supports ontological analysis are presented, both concerning the ontology of computations, more specifically, the relativistic realization of computational levels in computational systems. The first case study deals with the realization of logical circuits through structural arrangements of electrical circuits. The second, with the realization of software systems through computer programming. A conception of the mechanics of the relativistic realization of objects, taking the imposition of organizational structures on previously extant objects as its basis, is proposed and briefly analyzed. (shrink)